Nicole Schweikardt: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Local normal forms and their use in algorithmic meta theorems (Invited Talk)

Schweikardt, Nicole

Year:

2019

Language:

english

File:

PDF, 157 KB

english, 2019

2

Closed world data exchange

Hernich, André, Libkin, Leonid, Schweikardt, Nicole

Journal:

ACM Transactions on Database Systems

Year:

2011

Language:

english

File:

PDF, 509 KB

english, 2011

3

Arithmetic, first-order logic, and counting quantifiers

Schweikardt, Nicole

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 364 KB

english, 2005

4

Finite-State Map-Reduce Computation and Relational Algebra Queries

Neven, Frank, Schweikardt, Nicole, Servais, Frederic, Tan, Tony

Journal:

ACM Transactions on Computational Logic

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

5

First-order expressibility of languages with neutral letters or: The Crane Beach conjecture

David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 453 KB

english, 2005

6

Tight lower bounds for query processing on streaming and external memory data

Martin Grohe, Christoph Koch, Nicole Schweikardt

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

7

Database Query Processing Using Finite Cursor Machines

Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche

Journal:

Theory of Computing Systems

Year:

2009

Language:

english

File:

PDF, 652 KB

english, 2009

8

Logik und Automaten: ein echtes Dreamteam

Henrik Björklund, Wim Martens, Nicole Schweikardt, Thomas Schwentick

Journal:

Informatik-Spektrum

Year:

2010

Language:

german

File:

PDF, 494 KB

german, 2010

9

On the expressive power of monadic least fixed point logic

Nicole Schweikardt

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 323 KB

english, 2006

10

Reversal complexity revisited

André Hernich, Nicole Schweikardt

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 680 KB

english, 2008

11

The Monadic Quantifier Alternation Hierarchy over Grids and Graphs

Oliver Matz, Nicole Schweikardt, Wolfgang Thomas

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 267 KB

english, 2002

12

An Ehrenfeucht-Fraïssé game approach to collapse results in database theory

Nicole Schweikardt

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 1.03 MB

english, 2007

13

Locality from Circuit Lower Bounds

Anderson, Matthew, van Melkebeek, Dieter, Schweikardt, Nicole, Segoufin, Luc

Journal:

SIAM Journal on Computing

Year:

2012

Language:

english

File:

PDF, 784 KB

english, 2012

14

Expressiveness and static analysis of extended conjunctive regular path queries

Freydenberger, Dominik D., Schweikardt, Nicole

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 399 KB

english, 2013

15

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Addition-Invariant FO and Regularity

Schweikardt, Nicole, Segoufin, Luc

Year:

2010

Language:

english

File:

PDF, 486 KB

english, 2010

16

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

Heimberg, Lucas, Kuske, Dietrich, Schweikardt, Nicole

Year:

2013

Language:

english

File:

PDF, 315 KB

english, 2013

17

Lower bounds for processing data with few random accesses to external memory

Grohe, Martin, Hernich, André, Schweikardt, Nicole

Journal:

Journal of the ACM

Year:

2009

Language:

english

File:

PDF, 554 KB

english, 2009

18

[ACM Press the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium - Baltimore, Maryland (2005.06.13-2005.06.15)] Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '05 - Lower bounds for sorting with few random accesses to external memory

Grohe, Martin, Schweikardt, Nicole

Year:

2005

Language:

english

File:

PDF, 194 KB

english, 2005

19

Report on DEIS'10

Kolaitis, Phokion G., Lenzerini, Maurizio, Schweikardt, Nicole

Journal:

ACM SIGMOD Record

Year:

2011

Language:

english

File:

PDF, 93 KB

english, 2011

20

[ACM Press the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium - Beijing, China (2007.06.11-2007.06.13)] Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '07 - Machine models and lower bounds for query processing

Schweikardt, Nicole

Year:

2007

Language:

english

File:

PDF, 384 KB

english, 2007

21

[ACM Press the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium - Beijing, China (2007.06.11-2007.06.13)] Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '07 - CWA-solutions for data exchange settings with target dependencies

Hernich, Andre, Schweikardt, Nicole

Year:

2007

Language:

english

File:

PDF, 259 KB

english, 2007

22

[ACM Press the 33rd ACM SIGMOD-SIGACT-SIGART symposium - Snowbird, Utah, USA (2014.06.22-2014.06.27)] Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '14 - Enumerating answers to first-order queries over databases of low degree

Durand, Arnaud, Schweikardt, Nicole, Segoufin, Luc

Year:

2014

Language:

english

File:

PDF, 858 KB

english, 2014

23

[ACM Press the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium - Chicago, IL, USA (2006.06.26-2006.06.28)] Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '06 - Randomized computations on large data sets

Grohe, Martin, Hernich, André, Schweikardt, Nicole

Year:

2006

Language:

english

File:

PDF, 280 KB

english, 2006

24

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Preservation and decomposition theorems for bounded degree structures

Harwath, Frederik, Heimberg, Lucas, Schweikardt, Nicole

Year:

2014

Language:

english

File:

PDF, 336 KB

english, 2014

25

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - On Hanf-equivalence and the number of embeddings of small induced subgraphs

Kreutzer, Stephan, Schweikardt, Nicole

Year:

2014

Language:

english

File:

PDF, 348 KB

english, 2014

26

Machine models for query processing

Schweikardt, Nicole

Journal:

ACM SIGMOD Record

Year:

2009

Language:

english

File:

PDF, 428 KB

english, 2009

27

[ACM Press the 36th ACM SIGMOD-SIGACT-SIGAI Symposium - Chicago, Illinois, USA (2017.05.14-2017.05.19)] Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17 - Answering Conjunctive Queries under Updates

Berkholz, Christoph, Keppeler, Jens, Schweikardt, Nicole

Year:

2017

Language:

english

File:

PDF, 822 KB

english, 2017

28

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - First-order logic with counting

Kuske, Dietrich, Schweikardt, Nicole

Year:

2017

Language:

english

File:

PDF, 389 KB

english, 2017

29

[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - Houston, TX, USA (2018.06.10-2018.06.15)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - SIGMOD/PODS '18 - Enumeration for FO Queries over Nowhere Dense Graphs

Schweikardt, Nicole, Segoufin, Luc, Vigny, Alexandre

Year:

2018

Language:

english

File:

PDF, 1.37 MB

english, 2018

30

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Hanf normal form for first-order logic with unary counting quantifiers

Heimberg, Lucas, Kuske, Dietrich, Schweikardt, Nicole

Year:

2016

Language:

english

File:

PDF, 355 KB

english, 2016

31

[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - Houston, TX, USA (2018.06.10-2018.06.15)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - SIGMOD/PODS '18 - First-Order Query Evaluation with Cardinality Conditions

Grohe, Martin, Schweikardt, Nicole

Year:

2018

Language:

english

File:

PDF, 1.40 MB

english, 2018

32

[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - Houston, TX, USA (2018.06.10-2018.06.15)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - SIGMOD/PODS '18 - 2018 ACM PODS Alberto O. Mendelzon Test-of-Time Award

Lenzerini, Maurizio, Martens, Wim, Schweikardt, Nicole

Year:

2018

Language:

english

File:

PDF, 938 KB

english, 2018